Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types Amal Ahmed Harvard University, Cambridge, MA

Source URL: www.ccs.neu.edu

BeamAuth Two-Factor Web Auth with a Bookmark Ben Adida Harvard University CCS 2007 – Alexandria, VA

Source URL: assets.adida.net

Application of compressed sensing to the simulation of atomic systems Xavier Andrade, Jacob N. Sanders, and Alán Aspuru-Guzik1 Department of Chemistry and Chemical Biology, Harvard University, 12 Oxford Street, Cambridg

Source URL: aspuru.chem.harvard.edu

Helios web-based open-audit voting Ben Adida Harvard University Usenix Security – San Jose, CA 1 August 2008

Source URL: assets.adida.net

• Adida
• Voting system
• Political philosophy
• Politics
• Electronic voting

The inherent syntactic incompleteness of RNR Bradley Larson University of Maryland Workshop on Parenthesis and Ellipsis: Cross-linguistic and theoretical perspectives. 34th Annual meeting of the

Source URL: people.fas.harvard.edu

An Optimal Algorithm for the Distinct Elements Problem Daniel M. Kane ∗ Harvard University

Source URL: people.seas.harvard.edu

2014 ASE BigData/SocialInformatics/PASSAT/BioMedCom 2014 Conference, Harvard University, December 14-16, 2014 Content Sharing in Global Organization: A Cross-Country Perspective Amit Pariyar, Yohei Murakami, Donghui Lin

Source URL: www.ai.soc.i.kyoto-u.ac.jp

SIGecom News DAVID C. PARKES School of Engineering and Applied Sciences Harvard University Cambridge, MA 02138

Source URL: sigecom.org

Dynamic Test Generation for Large Binary Programs by David Alexander Molnar A.B. (Harvard CollegeM.S. (University of California, Berkeley) 2006

Source URL: www.dmolnar.com

• Software testing
• Search algorithms
• Theoretical computer science
• Fuzz testing
• Hash function
• Algorithm
• Mathematical optimization
• Software bug
• Information retrieval
• Software engineering
• Mathematics

1 p-adic Groups Seminar / Study group Harvard University Fall, 1997

Source URL: www.math.rutgers.edu